Bibtex of ZZZ (working) / Logic

@article{Courcelle2009c, 
     author = "Courcelle, Bruno", 
     doi = "10.1016/j.dam.2008.08.021", 
     issn = "0166218X", 
     journal = "Discrete Applied Mathematics", 
     keyword = "DAG,Enumeration,Monadic second-order logic,Monadic second-order transduction,Query,Random generation,Recognizable set of terms,Tree automaton,Tree-width,Unfolding,dag,enumeration,monadic second-order logic,monadic second-order transduction,project of the,query,random generation,recognizable set of terms,support,supported by the graal,this work has been,tomaton,tree au-,tree-width,unfolding", 
     link = "http://www.sciencedirect.com/science/article/pii/S0166218X08003363 http://linkinghub.elsevier.com/retrieve/pii/S0166218X08003363", 
     month = "jun", 
     number = "12", 
     pages = "2675--2700", 
     title = "Linear delay enumeration and monadic second-order logic", 
     uri = "http://www.sciencedirect.com/science/article/pii/S0166218X08003363", 
     volume = "157", 
     year = "2009", 
}

@inproceedings{Kazana2013b, 
     address = "New York, New York, USA", 
     author = "Kazana, Wojciech and Segoufin, Luc", 
     booktitle = "PODS 2013: the 32nd symposium on Principles of database systems", 
     doi = "10.1145/2463664.2463667", 
     editor = "Hull, Richard", 
     isbn = "9781450320665", 
     keyword = "bounded expansion,enumeration,first-order", 
     link = "http://dl.acm.org/citation.cfm?id=2463664.2463667 http://dl.acm.org/citation.cfm?doid=2463664.2463667", 
     month = "jun", 
     pages = "297", 
     publisher = "ACM Press", 
     title = "Enumeration of first-order queries on classes of structures with bounded expansion", 
     uri = "http://dl.acm.org/citation.cfm?id=2463664.2463667", 
     year = "2013", 
}

@article{Kazana2013d, 
     author = "Kazana, Wojciech and Segoufin, Luc", 
     doi = "10.1145/2528928", 
     isbn = "9781450320665", 
     issn = "15293785", 
     journal = "ACM Transactions on Computational Logic", 
     keyword = "bounded expansion,enumeration,first-order", 
     link = "http://doi.acm.org/10.1145/2528928", 
     number = "4", 
     pages = "25:1--25:12", 
     title = "Enumeration of monadic second-order queries on trees", 
     uri = "http://doi.acm.org/10.1145/2528928", 
     volume = "14", 
     year = "2013", 
}